Combining B and Alloy
نویسندگان
چکیده
In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abstract specifications. We demonstrate our approach with an example.
منابع مشابه
An Approach to Combining B and Alloy
In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abs...
متن کاملNanostructured Hypoeutectic Fe-B Alloy Prepared by a Self-propagating High Temperature Synthesis Combining a Rapid Cooling Technique
We have successfully synthesized bulk nanostructured Fe94.3B5.7 alloy using the one-step approach of a self-propagating high temperature synthesis (SHS) combining a rapid cooling technique. This method is convenient, low in cost, and capable of being scaled up for processing the bulk nanostructured materials. The solidification microstructure is composed of a relatively coarse, uniformly distri...
متن کاملMICROSTRUCTURAL STUDIES OF Ti-REFINED Al2014 ALLOY PREPARED BY SIMA PROCESS
In this study, Al2014 alloy refined with Al-5%Ti-1%B master alloy was prepared by strain-induced melt activated (SIMA) process. The main variables of the SIMA process were cold working, holding time and temperature in semi-solid state. Cold working was applied on specimens by upsetting technique to achieve 10%, 20% and 30% height reduction. Cold worked specimens were heat treated in semi-s...
متن کاملA Study of the Chemical Composition and Heat Treatment of Electroless Ni-B-Tl Alloy Coating on AISI 316 Stainless Steel
Despite having some useful properties, stainless steels suffer from lack of suitable surface hardness. In this research electroless Ni-B-Tl coating was used with the aim to increase their surface hardness. The effects of Nickel chloride, Sodium borohydride, Thallium nitrate and Ethylendiamin on the chemical composition of coating were studied. To achieve an increase in hardness, the effects of ...
متن کاملSynthesis and Characterization of Nano-Hydroxyapatite/mPEG-b-PCL Composite Coating on Nitinol Alloy
In this study the bioactivity of hydroxyapatite/poly(ε-caprolactone)–poly(ethylene glycol) bilayer coatings on Nitinol superelastic alloy was investigated. The surface of Nitinol alloy was activated by a thermo-chemical treatment and hydroxyapatite coating was electrodeposited on the alloy, followed by applying the polymer coating. The surface morphology of coatings was studied using FE-SEM and...
متن کامل